minios: make stack size configurable
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 17 Jan 2008 14:41:44 +0000 (14:41 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 17 Jan 2008 14:41:44 +0000 (14:41 +0000)
commit22e39d084eaa3b058ec34964156511fe963ce4d4
tree0566e56ab0131abd998692127a2deea8d845a17d
parente2edfe6c73a287989911630a070c3e6c1137446f
minios: make stack size configurable

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/arch/ia64/sched.c
extras/mini-os/arch/x86/sched.c
extras/mini-os/arch/x86/setup.c
extras/mini-os/arch/x86/x86_32.S
extras/mini-os/arch/x86/x86_64.S
extras/mini-os/include/ia64/arch_mm.h
extras/mini-os/include/x86/arch_mm.h
extras/mini-os/include/x86/arch_sched.h
extras/mini-os/sched.c